Resumen: Este artículo presenta los resultados de un estudio acerca de la efectividad de la corrección indirecta del error escrito o feedback correctivo escrito indirecto, en la promoción del uso preciso de la concordancia sujeto-verbo en tercera persona singular entre estudiantes con un nivel elemental de competencia lingüística, que aprenden inglés como lengua extranjera a nivel escolar. La muestra estuvo constituida por 39 estudiantes de 8° año de un colegio particular pagado de la región del Biobío, Chile, a quienes se (...) le aplicó un pretest, un posttest-inmediato y un posttest diferido. Los resultados demuestran que la técnica de corrección utilizada representa una herramienta efectiva para la promoción del uso gramaticalmente preciso de la concordancia sujeto-verbo aun cuando los estudiantes poseen un nivel básico de competencia en la lengua extranjera.: This article reports on a study of the effectiveness of indirect correction of written error or indirect written corrective feedback in the promotion of the accurate use of subject-verb agreement in the third person singular among students with an elementary level of linguistic competence who learn English as a foreign language at the school level. The sample consisted of 39 8th grade students at a private school in the Biobío region, Chile, who were given a pre-test, an immediate post-test and a delayed post-test. The results show that the correction technique represents an effective tool for the improvement of the grammatically accurate use of subject-verb agreement even when students have a basic level of competence in the foreign language. (shrink)

A complementary system for a given logic is a proof system whose theorems are exactly the formulas that are not valid according to the logic in question. This article is a contribution to the complementary proof theory of classical propositional logic. In particular, we present a complementary proof-net system, $$\textsf{CPN}$$ CPN, that is sound and complete with respect to the set of all classically invalid (one-side) sequents. We also show that cut elimination in $$\textsf{CPN}$$ CPN enjoys strong normalization along with (...) strong confluence (and, hence, uniqueness of normal forms). (shrink)

Unlike nonhuman primates, thousands of bird species have articulatory capabilities that equal or surpass those of humans, and they develop their vocalizations through vocal imitation in a way that is very similar to how human infants learn to speak. An understanding of how speech mechanisms have evolved is therefore unlikely to yield key insights into how the human brain is special.

Public policy issues around access to networked information are explored and examined. Long viewed as the quintessential public good, information has evolved into a critically important market commodity in little more than a generation. New technologies and a political climate in which the meaning of universal access to information is no longer commonly understood and in which its importance is no longer taken for granted pose significant challenges for American society. Libraries, as information commons, offer the means of meeting those (...) challenges. Historical, economical, and professional factors that shape the conflict are described and discussed. (shrink)

Fix a weakly minimal (i.e. superstable U-rank 1) structure M. Let M∗ be an expansion by constants for an elementary substructure, and let A be an arbitrary subset of the universe M. We show that all formulas in the expansion (M∗,A) are equivalent to bounded formulas, and so (M,A) is stable (or NIP) if and only if the M-induced structure AM on A is stable (or NIP). We then restrict to the case that M is a pure abelian group with (...) a weakly minimal theory, and AM is mutually algebraic (equivalently, weakly minimal with trivial forking). This setting encompasses most of the recent research on stable expansions of (Z,+). Using various characterizations of mutual algebraicity, we give new examples of stable structures of the form (M,A). Most notably, we show that if (G,+) is a weakly minimal additive subgroup of the algebraic numbers, A⊆G is enumerated by a homogeneous linear recurrence relation with algebraic coefficients, and no repeated root of the characteristic polynomial of A is a root of unity, then (G,+,B) is superstable for any B⊆A. (shrink)

BackgroundTrait anxiety is a pervasive tendency to attend to and experience fears and worries to a disproportionate degree, across various situations. Decreased vulnerability to trait anxiety has been linked to having higher working memory capacity and better emotion regulation; however, the relationship between these factors has not been well-established.ObjectiveThis study sought to determine if participants who undergo emotional working memory training will have significantly lower trait anxiety post-training. The study also sought to determine if emotion regulation mediated the relationship between (...) working memory training and trait anxiety.MethodAn experimental group comprising of 49 participants underwent 20 days of computerized emotional working memory training, which involved viewing a continuous stream of emotionally-charged content on a grid, and then remembering the location and color of items presented on the grid. The control group comprised of 51 participants.ResultsParticipants of the experimental group had significantly lower trait anxiety compared to controls, post-training. Subsequent mediation analysis determined that working memory training capacity gains were significantly related to anxiety reduction as measured by form Y2 of the Spielberger State-Trait Anxiety Inventory. Emotion regulation, as measured by the Emotional Regulation Questionnaire, was found not to mediate between working memory capacity gains and trait anxiety reduction.ConclusionWorking memory capacity gains and reductions in levels of trait anxiety were observed following emotional working memory training. The study may therefore be useful in informing interventions targeted at improving working memory capacity, and reducing levels of trait anxiety. Moreover, it proposes for future research to further look into the mediating role of emotion regulation via the development or utilization of more comprehensive measures of emotion regulation. (shrink)

Review of Leigh Eric Schmidt, Village Atheists: How America’s Unbelievers Made Their Way in a Godly Nation,.

Classical propositional logic can be characterized, indirectly, by means of a complementary formal system whose theorems are exactly those formulas that are not classical tautologies, i.e., contradictions and truth-functional contingencies. Since a formula is contingent if and only if its negation is also contingent, the system in question is paraconsistent. Hence classical propositional logic itself admits of a paraconsistent characterization, albeit “in the negative”. More generally, any decidable logic with a syntactically incomplete proof theory allows for a paraconsistent characterization of (...) its set of theorems. This, we note, has important bearing on the very nature of paraconsistency as standardly characterized. (shrink)

Apresenta uma análise preliminar das manifestações dos autores das Ciências Sociais e Humanas dentro do campo da Biblioteconomia e da Ciência da Informação (B & C.I.), por meio do método bibliométrico e análise de citação. Com o objetivo de descortinar quais teóricos são convocados para a construção do conhecimento na produção científica dos campos supracitados, realizou-se uma pesquisa exploratória com vistas ao levantamento dos autores das Ciências Sociais e Humanas e, posteriormente, a verificação da ocorrência deles na produção indexada pela (...) Base de Dados em Ciência da Informação (BRAPCI). Foram identificados 180 autores, dos quais 91 apareceram pelo menos uma vez nas buscas empreendidas pelos nomes e sobrenomes desses autores das Ciências Sociais e Humanas. O resultado desta pesquisa demonstrou os dois autores mais citados, Michel Foucault e Pierre Bourdieu, bem como a presença de diversos autores das Ciências Sociais e Humanas na construção do conhecimento da Biblioteconomia e da Ciência da Informação, o que contribui para o fortalecimento e a consolidação de ambas. (shrink)

Os discursos da Biblioteconomia brasileira são objeto de estudo desta pesquisa, que se concentrou nos artigos publicados durante a década de 1980 na Revista de Biblioteconomia de Brasília. Essa revista, cujo primeiro número foi publicado em 1973, encerrou suas atividades em 2001 e teve como foco as áreas de Biblioteconomia, Ciência da Informação, Arquivologia e afins. Com a intenção de discutir sobre dois conceitos centrais da Biblioteconomia - o de biblioteca e o de bibliotecário - analisamos as produções que versavam (...) sobre tais categorias de análise. A pesquisa é, então, considerada exploratória, de cunho bibliográfico, cujo método empregado foi o da análise de conteúdo. Essa década foi marcada pela importância da informação e da tecnologia como fatores responsáveis pelo desenvolvimento social e econômico do país. A biblioteca, nesse contexto de uma sociedade da informação, é marcada pela discussão da automação de seus serviços e produtos. O bibliotecário, visto como um profissional da informação, também tem um importante papel a desempenhar na sociedade, inclusive, o de estar ao lado dos mais vulneráveis. (shrink)

Philosophical and theological treatments of difference and relation are often limited to traditional discursive boundaries of substance metaphysics and transcendent causality. Eschewing the historic desire to categorize substance and doctrinal investments in cosmological mechanism, multiplicity theory experiments with immanent and relational ontologies that are materially attentive and immersed in difference. Tracing the emergence of multiplicity and its theorizing across philosophical and theological registers, I begin with Henri Bergson and Alfred North Whitehead’s conceptually significant turn of the century work. Noting both (...) Bergson and Whitehead’s profound influence on Gilles Deleuze, I examine the appearance and development of multiplicity in Deleuze’s individual writings and his collaborative work with Felix Guattari. Seeking resonances in the more recently theological theorizations of multiplicity, I find that Whitehead and Deleuze surface as vital interlocutors for the relational and incarnational theologies put forth, respectively, by Catherine Keller and Laurel Schneider. Each concerned with theological formulations of embodied difference and divine relation, I suggest that both Keller and Schneider draw on theories of multiplicity to explore immanence and interdependence as ontological postures. I conclude that across philosophical and theological discourse diverse conceptions of multiplicity offer resources for alternative theorizations of complex difference and relation. (shrink)

We argue that imaginary worlds gain much of their appeal because they fulfill the fundamental need of human beings to feel connected to other humans. Immersion into story worlds provides a sense of social connection to the characters and groups represented in the world. By fulfilling the need to belong, imaginary worlds provide a buffer against rejection and loneliness.

Morality has traditionally been described in terms of an impartial and objective “moral law”, and moral psychological research has largely followed in this vein, focusing on abstract moral judgments. But might our moral judgments be shaped not just by what the action is, but who is doing it? We looked at ratings of moral wrongness, manipulating whether the person doing the action was a friend, a refugee, or a stranger. We looked at these ratings across various moral foundations, and conducted (...) the study in Brazil, US, and UK samples. Our most robust and consistent findings are that purity violations were judged more harshly when committed by ingroup members and less harshly when committed by the refugees in comparison to the unspecified agents, the difference between refugee and unspecified agents decays from liberals to conservatives, i.e., conservatives judge them more harshly than liberals do, and Brazilians participants are harsher than the US and UK participants. Our results suggest that purity violations are judged differently according to who committed them and according to the political ideology of the judges. We discuss the findings in light of various theories of groups dynamics, such as moral hypocrisy, moral disengagement, and the black sheep effect. (shrink)

This commentary highlights the observation that social motivation is usually an imprecisely specified construct. We suggest four social motivation conceptualizations across levels of analysis and explore where the target article situates among these. We then offer theoretical and practical guidance for operationalization and measurement of social motivation to support more comprehensive future research on this complex construct in the autism literature.

El presente artículo versa sobre el lugar que el cuerpo propio desempeña en la configuración de la identidad personal según Gabriel Marcel. Se intenta plantear el tema de la identidad y el lugar que en ella ocupa la polémica relación entre yo y mi cuerpo, teniendo en cuenta la situación actual de este debate y mostrando con ello las señas de identidad de una sociedad que vive con vehemencia el proyecto de ser uno mismo y la relación entre el (...) ser y el cuerpo. (shrink)

The objective of this study was to develop and determine the psychometric properties of an instrument designed to detect traits and behavior that are associated with predatory violent behavior, which is defined as a determined, planned, controlled, and proactive aggression. The sample was comprised of 546 students, mostly in their last year of high school or in their first year of college. The initial instrument had 78 items, ultimately resulting in 15 with good internal consistency (α =.825). Factor analysis showed (...) four factors: anger-in, appeal for weapons, suicidal ideation, and the tendency to take justice into one’s own hands. Said factors showed significant correlations of convergent validity. Data shown here allows inferring that the instrument is a novel and concise tool that evaluates and detects the potential of predatory violent behavior. (shrink)

An effective formalism is developed to handle decaying two-state systems. Herewith, observables of such systems can be described by a single operator in the Heisenberg picture. This allows for using the usual framework in quantum information theory and, hence, to enlighten the quantum features of such systems compared to non-decaying systems. We apply it to systems in high energy physics, i.e. to oscillating meson–antimeson systems. In particular, we discuss the entropic Heisenberg uncertainty relation for observables measured at different times at (...) accelerator facilities including the effect of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{CP}$\end{document} violation, i.e. the imbalance of matter and antimatter. An operator-form of Bell inequalities for systems in high energy physics is presented, i.e. a Bell-witness operator, which allows for simple analysis of unstable systems. (shrink)

Smoking consequences are seen disproportionately among low-SES smokers. We examine the self-regulatory strategy of mental contrasting with implementation intentions as a smoking reduction tool and whether its effectiveness depends on subjective-SES. This pre-registered online experiment comprised a pre-screening, baseline survey, and follow-up. Participants reported past-week smoking, subjective-SES, perceived stress, and were randomized to an active control or MCII condition. Data were collected via MTurk, during the U.S.’ initial wave of COVID-19. Participants were moderate-to-heavy smokers open to reducing or quitting. The (...) primary outcome was self-reported smoking reduction, computed as the difference between recent smoking at baseline and follow-up. The secondary outcome was cessation, operationalized as self-reported 7-day point-prevalence abstinence at follow-up. Among those low—but not high—in subjective-SES, MCII improved smoking reduction by an average of 1.09 fewer cigarettes smoked per day, though this effect was not conclusive. Similarly, quitting was descriptively more likely for those in the MCII than control condition, but the effect was non-significant. Per an exploratory analysis, we observed that stress significantly moderated the condition effect, such that MCII facilitated reduction among those experiencing high, but not low stress. Consistent with prior findings that MCII works best in vulnerable populations, MCII may be more effective for smoking reduction among high-stress than low-stress individuals. These findings contribute to growing research on income-related health disparities and smoking behavior change tools. (shrink)

We offer a critical overview of two sorts of proof systems that may be said to characterize classical propositional logic indirectly (and non-standardly): refutation systems, which prove sound and complete with respect to classical contradictions, and rejection systems, which prove sound and complete with respect to the larger set of all classical non-tautologies. Systems of the latter sort are especially interesting, as they show that classical propositional logic can be given a paraconsistent characterization. In both cases, we consider Hilbert-style systems (...) as well as Gentzen-style sequent calculi and natural-deduction formalisms. (shrink)

Psychiatry is rapidly adopting digital phenotyping and artificial intelligence/machine learning tools to study mental illness based on tracking participants’ locations, online activity, phone and text message usage, heart rate, sleep, physical activity, and more. Existing ethical frameworks for return of individual research results (IRRs) are inadequate to guide researchers for when, if, and how to return this unprecedented number of potentially sensitive results about each participant’s real-world behavior. To address this gap, we convened an interdisciplinary expert working group, supported by (...) a National Institute of Mental Health grant. Building on established guidelines and the emerging norm of returning results in participant-centered research, we present a novel framework specific to the ethical, legal, and social implications of returning IRRs in digital phenotyping research. Our framework offers researchers, clinicians, and Institutional Review Boards (IRBs) urgently needed guidance, and the principles developed here in the context of psychiatry will be readily adaptable to other therapeutic areas. (shrink)

Ontologies have been successfully used to assign semantics in the Semantic Web context, to support integration of data from different systems or different sources, and to enable reasoning. However, building ontologies is not a trivial task. Ontology reuse can help in this matter. The search and selection of ontologies to be reused should consider the alignment between their scope and the scope of the ontology being developed. In this paper, we discuss how goal modeling can be helpful in this context (...) and we present GO-FOR, a framework in which goals are the central elements to promote ontology reuse. GO-FOR comprises a conceptual architecture, a goal-oriented ontology development process and a supporting tool. In GO-FOR we introduce Goal-Oriented Ontology Patterns as a new type of pattern to be applied to develop ontologies in a goal-oriented approach. Results of the use of GO-FOR to build an ontology used to integrate patient examination data are also shown in this paper. (shrink)

Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

ABSTRACTIf it seems unquestionable that C. I. Lewis is a Kantian in important respects, it is more difficult to determine what, if anything, is original about his Kantianism. For it might be argued that Lewis’ Kantianism simply reflects an approach to the a priori which was very common in the first half of the twentieth century, namely, the effort to make the a priori relative. In this paper, I will argue that Lewis’ Kantianism does present original features. The latter can (...) be detected by focusing on Lewis’ account of the method of philosophy in the first chapter of Mind and the World Order. In that context, Lewis argues that the method of philosophy should be reflective and critical. It will be my contention that this understanding of philosophy involves a therapeutic perspective, which bears important resemblances to Kant’s account of transcendental reflection in the Amphiboly of the Critique of Pure Reason. I will illustrate how this therapeutic application of reflection works in Lewis’ metaphysics. In... (shrink)

Long noncoding RNAs have been described in cell lines and various whole tissues, but lncRNA analysis of development in vivo is limited. Here, we comprehensively analyze lncRNA expression for the adult mouse subventricular zone neural stem cell lineage. We utilize complementary genome-wide techniques including RNA-seq, RNA CaptureSeq, and ChIP-seq to associate specific lncRNAs with neural cell types, developmental processes, and human disease states. By integrating data from chromatin state maps, custom microarrays, and FACS purification of the subventricular zone lineage, we (...) stringently identify lncRNAs with potential roles in adult neurogenesis. shRNA-mediated knockdown of two such lncRNAs, Six3os and Dlx1as, indicate roles for lncRNAs in the glial-neuronal lineage specification of multipotent adult stem cells. Our data and workflow thus provide a uniquely coherent in vivo lncRNA analysis and form the foundation of a user-friendly online resource for the study of lncRNAs in development and disease. © 2013 Elsevier Inc. (shrink)

Søren Kierkegaard’s (1813-1855) works have as their starting point, aside from a couple of newspaper articles published around the middle of the decade of the 1830s, a literary review of a novel written by a contemporary of his who was to achieve international fame still in life, viz. the writer Hans Christian Andersen (1805-1875). Notwithstanding, I argue that what was meant to be a literary review hides a vigorous anticipation of a problem that was meant to interest Kierkegaard throughout his (...) entire production, that is, the problem of nihilism. In this sense, the present article is based on a reading of both Andersen’s novel as well as Kierkegaard’s review, which leads me to explore the more profound connotations of Kierkegaard’s critique of the former also in terms of the context these works were produced. In sum, my argument is that both Andersen and Kierkegaard were dealing with the first signs of the arrival of nihilism in Denmark. (shrink)

An issue that affects the academic engagement, performance, health and wellbeing of university undergraduates is bullying. Substantial literature has examined the predictors of bullying perpetration, but there is little research on the contributions of internet-related factors and the propensity to take risks in bullying. We examined the roles of IGD, risk-taking behavior, and internet addiction in social bullying. Four instruments were used for data collection, namely: Young Adult Social Behavior Scale, the Internet Gaming Disorder Scale, Domain-Specific Risk-Taking Scale, and the (...) Internet Addiction Test Scale. Participants were 552 undergraduate students from the University of Nigeria, Nsukka consisting of 143 males and 409 females. Results of regression analysis showed that gaming disorder and risk-taking behavior had positive associations with social bullying. Thus, the more people grow addicted to internet gaming and takes more risks, the more they are likely to become bullies. Internet addiction had no significant association with social bullying. Efforts should be made to minimize the rate of dysfunctional internet use, GD and risk-taking behaviors of undergraduates in order to curtail bullying perpetration. (shrink)